<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html><head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>VOLT 2015 @ STAF</title>
<meta name="keywords" content="model transformation, verification, model-driven engineering, MDE, validation, automatic test generation, UML, model-based testing, model transformation testing"/>
<link rel="shortcut icon" href="favicon.gif" type="image/x-icon">
<link rel="icon" href="favicon.gif" type="image/x-icon">
<link href="data/volt.css" rel="stylesheet" media="screen">
</head>
<body>
<div align="center">
  <table class="boundary" cellpadding="0" border="0" width="750">
    <!-- Banner -->
    <tbody><tr>
      <td colspan="2">
        <img src="data/volt15banner.png" alt="VOLT 2015" width="100%">
      </td>
    </tr>

    <!-- Content -->
    <tr>
      <!-- Menu -->
      <td class="topAligned" width="23%">
       <p class="sideMenu"><a class="ClassA" href="index.html">Home</a></p>
        <p class="sideMenu"><a class="ClassA" href="calls.html">Call For Papers</a></p>
        <p class="sideMenu"><a class="ClassA" href="cases.html">Cases</a></p>
        <p class="sideMenu"><a class="ClassA" href="organizers.html">Committees</a></p>
        <p class="sideMenu"><a class="ClassA" href="importantDates.html">Important Dates</a></p>
        <p class="sideMenu"><a class="ClassA" href="previousEditions.html">Previous Editions</a></p>
        <p class="sideMenu"><a class="ClassA" href="http://www.disim.univaq.it/staf2015/">STAF 2015</a></p>
        <p class="sideMenu"><a class="ClassA" href="contacts.html">Contacts</a></p>

        <p class="contents">
        <hr/>
        <h2>News</h2>

        <center>
	   -- 20.02.2015 --<br/>
       VOLT 2015 website is online<br/>
        </center>
        </p>
	  </td>

      <!-- Body content -->
      <td class="contents" width="77%">
      <h1>Call For Papers</h1>
		<center>
		<br/>Please click below to read the text file of the complete call for papers.<br/><br/>
		<table>
		<tbody>
			<tr>
			<td>
			<center>
			<a href="data/CfP2015.txt"><img src="data/TextLogo.jpg"></a><br/>
			<a href="data/CfP2015.txt">Call For Papers (txt)</a>
			</center>
			</td>
			</tr>
		</tbody>
    	</table>
		</center>

	<br>


	<h1>Submission</h1>

	<p>

	Authors may submit the following types of papers:
	<ul>
			<li>Full papers oriented to present elaborated research results. They should be not more than 10 pages long in Springer LNCS format.</li>
			<li>Short papers oriented to briefly present early research results or ongoing work. They should be 8 pages long in Springer LNCS format.</li>
			<li>Tool/Demo papers oriented to present model transformation verification tools. They should be 6 pages long in Springer LNCS format.</li>
	</ul>

	To comply with STAF's special theme of reproducibility, we strongly encourage solutions to the following model transformation verification challenges to be used as running examples or case studies for VOLT 2015 submissions
	(for more information see <a href="cases.html">VOLT 2015 case studies</a>):
	<ul>
				<li>a purely structural translation (aka. structural bridge) consisting of the classical UML2RDMS transformation;</li>
				<li>an operational semantics of a Domain-Specific Language allowing to play to the well-known PacMan game;</li>
				<li>a translational semantics providing executability of (a significant portion of) Activity Diagrams in terms of Petri Nets.</li>
	</ul>

	All submissions should follow the Springer LNCS format and be submitted through the <a href="https://easychair.org/conferences/?conf=volt2015">VOLT 2015 EasyChair installation</a>.<br><br>

	A pre-workshop version of the papers will be available on the workshop website and a post-workshop version will be published as <a href="http://ceur-ws.org">CEUR workshop proceedings</a>.
	</p>


	</td>
	</tr>

    </tbody>
    </table>

</div>
</body>
</html>